We have in our application some screens where we use modals. Recently I have spent some time arguing with my teammates should modal's overlay cover banners and other elements or some elements should always be visible. I think that it's the essence of the modal, that the user's attention should be kept on the modal when it open, and all other elements must be hidden. Not everyone agrees with me.
This example when banner is visible: