Law of Excluded Middle/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a statement form.

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