Rule of Conjunction/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ and $\psi$ be two statement forms.

The Rule of Conjunction is invoked for $\phi$ and $\psi$ in a tableau proof, in the following manner: