Quantum complexity completeness proof: A proof that a computational problem is complete for a complexity class.