Shall a worker be entitled to an end-of-service gratuity if he has died?

In the event of a worker’s death, the employer must pay the end-of-service gratuity to his heirs.