A formula is valid or a logical truth if it is truth for every interpretation. I.e.

In propositional logic, this is a tautology.