Decidability and Complexity of Tree Share Formulas