Completeness And The Zx-Calculus