Completeness — All Irreducibles of $\operatorname{SU}(2)$