On the convergence of greedy algorithms for initial segments of the Haar basis