Law of Excluded Middle/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a well-formed formula.

The is invoked in the following manner: