Rule of Distribution

Disjunction Distributes over Conjunction
Their abbreviation in a tableau proof are $\text{Dist}$.