Law of Excluded Middle/Proof Rule/Tableau Form

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

The is invoked in the following manner: