<logic> A wff of truth-functional logic whose truth table column contains nothing but T's when these T's are uninterpreted tokens rather than, say, truth-values. The rules for generating the truth table column tell us to use one of these uninterpreted T's in exactly those cases where semantic considerations would have led us to use the truth-value Truth.
See semantic tautology
[Glossary of First-Order Logic]
Try this search on OneLook / Google