Rule reminder
Use gerundio composto when the gerund action happened BEFORE the main verb action. avere verbs: avendo + pp. essere verbs: essendo + pp.
Which is correct? 'Having finished, he left.'