Decidability and Completeness for Open Formulas of Membership Theories