Aberdeen interim boss Peter Leven was proud of his players despite their defeat to Celtic on penalties in the Scottish Cup semi-final.