Completeness of Cyclic Proofs for Symbolic Heaps