(uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition.

(countable) An expression that features tautology.

(countable, logic, propositional logic) A statement that is true for all truth values of its propositional variables.

(countable, logic, first-order logic) A statement that is true for all truth values of its Boolean atoms.