A Completeness Proof for Geometrical Logic