Geometric structure of quantum correlators via semidefinite programming