Pressure Cooker Oxtail

1.2 kg oxtail, 1 onion, finely chopped, 1 cup of chopped leeks, 1 cup chopped carrots, 3 cloves