It is totally well-typed if, in addition, every feature F such that Approp(t, F) is defined occurs in A.
a TFS is totally well-typed if it has all and only the features that are appropriate for its type, with appropriate values, and the same holds for all its substructures.