New extended model for finding a minimum cost spanning tree such that the number of leaves is equal to (greater than, less than) k. Model with enhanced cut constraints. New model improves previously known gaps for the three constrained versions and leads to best solution times. For the max-leaves problem the new model proves to be competitive with the existent approaches.