Law of Excluded Middle/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a propositional formula.

The Law of Excluded Middle is invoked in the following manner: