Double Negation/Double Negation Introduction/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a propositional formula in a tableau proof.

The Law of Double Negation Introduction is invoked for $\phi$ as follows: