No, it's not okay.

Because you just planted it, you can dig it up then re-plant at the correct depth. If you intend to use the same hole. add soil in the bottom, then compact a base for the rootball. Even then, set the tree several inches too high because it *will sink.

Or, digging a new hole, even if alongside the old one, would be better as you can dig to the correct depth while retaining a firm base for the tree.

To help set the tree at the correct depth, use a broom handle or yard stick to measure the height of the rootball and the depth of the hole.

Planting a tad high is always better than planting too deep.

i have read on a few diffrent websites that when mulching mango trees, not to mulch around the truck base, you much the drip line but soil is best around the base