Propagation of singularities up to the boundary along leaves