The completion is certainly not unique. Multiplying any of the new vectors by a nonzero constant will not affect the span or the linear independence, but will change the basis. To prove that you can extend any linearly independent set S to a basis, you proceed by an iterative argument. If S spans you are done. hope this helps :)
