In propositional logic, a formula is a tautology if it is truth for every interpretation. I.e.

In languages other than propositional logic, this concept can be generalize into valid formula.