Rule of Idempotence/Disjunction

Theorem
The disjunction operation is idempotent:

Formulation 2
Its abbreviation in a tableau proof is $\textrm{Idemp}$.

Also known as
This rule is also known as the law of tautology for logical addition (or disjunction).