Leathers are pretty hardy so there is a good chance it will recover from being stung by the bubble coral. If it does not and the dead area begins to expand, then what you want do do is cut off all the damaged area with a razor blade. The healthy portion will regenerate.

In the meantime I would brush the area with a soft toothbrush to remove any dead tissue so a bacterial infection does not develop.