Rule of Idempotence

Theorem
The rule of idempotence is two-fold:

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

Also known as
Some sources give this as the rule of tautology but this is discouraged so as to avoid confusion with the definition of tautology.